|
KMID : 0371819960280060594
|
|
Nuclear Engineering and Technology
1996 Volume.28 No. 6 p.594 ~ p.601
|
|
|
Verification of Safety Critical Software
|
|
Ki Chang Son
Chong Son Chun/Byeong Joo Lee/Soon Sung Lee/and Byung Chai Lee
|
|
|
Abstract
|
|
|
To assure quality of safety critical software should be developed in accordance with software development procedures and rigorous software verification and validation should be performed. Software verification is the formal act of reviewing,
testing or
checking, and documenting whether software components comply with the specified requirements for a particular stage of the development phase[1]. New software verification methodology was developed and was spplied to the Shutdown System. No. 1 and
2(SDS1, 2) for Wolsong 2, 3 and 4 nuclear power plants by Korea Atomic Energy Research Institule(KAERI) and Atomic Energy of Canada Limited(AECL) in order to satisfy new regulation requirements of Atomic Energy Control Board(AAECB). Software
verification methodology applied to SDS1 for Wolsong 2, 3 and 4 project will be described in this paper. Some errors were found by this methodology during the software development for SDS1 and were corrected by software designer. Outputs from
Wolsong 2,
3 and 4 project have demonstrated that the use of this methodology results in a high quality, cost-effective product.
|
|
|
KEYWORD
|
|
|
|
|
|
FullTexts / Linksout information
|
|
|
|
|
|
Listed journal information
|
|
|
|